Dec 03 06:41:46.613 INFO testing graphene-0.1.5 against master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61 for beta-1.31-5
Dec 03 06:41:46.613 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt build --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:41:47.150 INFO [stdout] a1f61fd806aa93dad82797c64fece02858893fd57b7326698b1353c34c1ba3ef
Dec 03 06:41:47.152 INFO running `"docker" "start" "-a" "a1f61fd806aa93dad82797c64fece02858893fd57b7326698b1353c34c1ba3ef"`
Dec 03 06:41:49.102 INFO [stderr] usermod: no changes
Dec 03 06:41:49.199 INFO [stderr]    Compiling graphene v0.1.5 (/source)
Dec 03 06:41:50.883 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 1.75s
Dec 03 06:41:50.891 INFO [stderr] su: No module specific data is present
Dec 03 06:41:51.498 INFO running `"docker" "inspect" "a1f61fd806aa93dad82797c64fece02858893fd57b7326698b1353c34c1ba3ef"`
Dec 03 06:41:51.809 INFO running `"docker" "rm" "-f" "a1f61fd806aa93dad82797c64fece02858893fd57b7326698b1353c34c1ba3ef"`
Dec 03 06:41:52.147 INFO [stdout] a1f61fd806aa93dad82797c64fece02858893fd57b7326698b1353c34c1ba3ef
Dec 03 06:41:52.149 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen --no-run" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:41:52.592 INFO [stdout] db9ce223a5273bde947dff3940a91703f53312d50b57f19119f3ea7d468ddb25
Dec 03 06:41:52.594 INFO running `"docker" "start" "-a" "db9ce223a5273bde947dff3940a91703f53312d50b57f19119f3ea7d468ddb25"`
Dec 03 06:41:54.069 INFO [stderr] usermod: no changes
Dec 03 06:41:54.220 INFO [stderr]    Compiling graphene v0.1.5 (/source)
Dec 03 06:42:01.533 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 7.42s
Dec 03 06:42:01.540 INFO [stderr] su: No module specific data is present
Dec 03 06:42:02.413 INFO running `"docker" "inspect" "db9ce223a5273bde947dff3940a91703f53312d50b57f19119f3ea7d468ddb25"`
Dec 03 06:42:02.541 INFO running `"docker" "rm" "-f" "db9ce223a5273bde947dff3940a91703f53312d50b57f19119f3ea7d468ddb25"`
Dec 03 06:42:02.691 INFO [stdout] db9ce223a5273bde947dff3940a91703f53312d50b57f19119f3ea7d468ddb25
Dec 03 06:42:02.697 INFO running `"docker" "create" "-v" "/mnt/big/crater/work/local/target-dirs/beta-1.31-5/worker-7/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/target:rw,Z" "-v" "/mnt/big/crater/work/local/test-source/worker-7/beta-1.31-5/master#8940af3cea4a9a9deabcaf843b2f8cad9a83fc61:/source:ro,Z" "-v" "/mnt/big/crater/work/local/cargo-home:/cargo-home:ro,Z" "-v" "/mnt/big/crater/work/local/rustup-home:/rustup-home:ro,Z" "-e" "USER_ID=1000" "-e" "SOURCE_DIR=/source" "-e" "USER_ID=1000" "-e" "CMD=cargo +8940af3cea4a9a9deabcaf843b2f8cad9a83fc61-alt test --frozen" "-e" "CARGO_TARGET_DIR=/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=warn" "-e" "CARGO_HOME=/cargo-home" "-e" "RUSTUP_HOME=/rustup-home" "-m" "1536M" "--network" "none" "crater"`
Dec 03 06:42:02.975 INFO [stdout] 1117c8c7d00b2bbe34f869dbcb65847d92a7d203f4ca5a094892da133f9a2ce6
Dec 03 06:42:02.978 INFO running `"docker" "start" "-a" "1117c8c7d00b2bbe34f869dbcb65847d92a7d203f4ca5a094892da133f9a2ce6"`
Dec 03 06:42:03.677 INFO [stderr] usermod: no changes
Dec 03 06:42:03.779 INFO [stderr]     Finished dev [unoptimized + debuginfo] target(s) in 0.07s
Dec 03 06:42:03.781 INFO [stderr]      Running /target/debug/deps/graphene-0939941758e4ce11
Dec 03 06:42:03.788 INFO [stdout] 
Dec 03 06:42:03.788 INFO [stdout] running 2 tests
Dec 03 06:42:03.799 INFO [stdout] test common::adjacency_list::impl_base_graph::empty_has_no_vertices ... ok
Dec 03 06:42:03.799 INFO [stderr]      Running /target/debug/deps/all_tests-2733bae4349ed8ea
Dec 03 06:42:03.799 INFO [stdout] test common::adjacency_list::impl_base_graph::empty_has_no_edges ... ok
Dec 03 06:42:03.799 INFO [stdout] 
Dec 03 06:42:03.799 INFO [stdout] test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:42:03.799 INFO [stdout] 
Dec 03 06:42:03.803 INFO [stdout] 
Dec 03 06:42:03.803 INFO [stdout] running 61 tests
Dec 03 06:42:03.815 INFO [stdout] test common::adjacency_list::_impl::new::PROP_correct_vertex_count ... ok
Dec 03 06:42:03.835 INFO [stdout] test common::adjacency_list::_impl::new::PROP_graph_edges_subsetof_expected ... ok
Dec 03 06:42:03.835 INFO [stdout] test common::adjacency_list::_impl::new::PROP_expected_vertices_subsetof_graph ... ok
Dec 03 06:42:03.855 INFO [stdout] test common::adjacency_list::_impl::new::PROP_graph_vertices_subsetof_expected ... ok
Dec 03 06:42:03.855 INFO [stdout] test common::adjacency_list::_impl::new::PROP_correct_edge_count ... ok
Dec 03 06:42:03.855 INFO [stdout] test common::adjacency_list::_impl::new::PROP_expected_edges_subsetof_graph ... ok
Dec 03 06:42:03.867 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_increases_edge_count ... ok
Dec 03 06:42:03.871 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_graph_subsetof_original_edges_and_added_edge ... ok
Dec 03 06:42:03.893 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_maintain_original_edges ... ok
Dec 03 06:42:03.903 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_maintains_vertices ... ok
Dec 03 06:42:03.903 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_contains_added_value ... ok
Dec 03 06:42:03.903 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_reject_invalid_source ... ok
Dec 03 06:42:03.903 INFO [stdout] test common::adjacency_list::impl_base_graph::add_edge::PROP_reject_invalid_sink ... ok
Dec 03 06:42:03.903 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_increases_vertex_count ... ok
Dec 03 06:42:03.903 INFO [stdout] test common::adjacency_list::_impl::new::PROP_rejects_duplicates ... ok
Dec 03 06:42:03.903 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_edge_count ... ok
Dec 03 06:42:03.904 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_original_vertices ... ok
Dec 03 06:42:03.910 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_decreases_edge_count ... ok
Dec 03 06:42:03.927 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_invalid_source ... ok
Dec 03 06:42:03.935 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_invalid_sink ... ok
Dec 03 06:42:03.952 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_maintains_original_edges ... ok
Dec 03 06:42:03.963 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_decreases_vertex_count ... ok
Dec 03 06:42:03.975 INFO [stdout] test common::adjacency_list::impl_base_graph::add_vertex::PROP_rejects_existing_value ... ok
Dec 03 06:42:03.975 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_after_graph_is_equals_to_desc_minus_edge ... ok
Dec 03 06:42:03.975 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_maintains_vertices ... ok
Dec 03 06:42:03.983 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_after_graph_subsetof_independent_edges ... ok
Dec 03 06:42:03.984 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_rejects_absent_vertex ... ok
Dec 03 06:42:03.998 INFO [stdout] test core::base_graph::edges_between::PROP_all_incident_edges_in_desc_found_in_graph ... ok
Dec 03 06:42:03.998 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_maintains_unremoved_vertices ... ok
Dec 03 06:42:03.999 INFO [stdout] test core::base_graph::edge_count::PROP_equals_to_nr_of_edges ... ok
Dec 03 06:42:03.999 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_edge::PROP_rejects_non_edge ... ok
Dec 03 06:42:03.999 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_removes_vertex_from_graph ... ok
Dec 03 06:42:04.002 INFO [stdout] test core::base_graph::edges_sourced_or_sinked_in::PROP_all_edges_sinked_in_the_vertice ... ok
Dec 03 06:42:04.002 INFO [stdout] test core::constraints::custom_graph::g10_test ... ok
Dec 03 06:42:04.010 INFO [stdout] test core::constraints::custom_graph::g11_test ... ok
Dec 03 06:42:04.011 INFO [stdout] test core::constraints::custom_graph::g13_test ... ok
Dec 03 06:42:04.014 INFO [stdout] test core::base_graph::vertex_count::PROP_equals_to_nr_of_vertices ... ok
Dec 03 06:42:04.015 INFO [stdout] test common::adjacency_list::impl_base_graph::remove_vertex::PROP_after_independent_edges_subsetof_graph ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g14_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::base_graph::edges_between::PROP_all_edges_incident_on_the_vertices ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::base_graph::graph::PROP_vertices_equal_to_description ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g15_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g16_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g17_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g1_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g19_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g20_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g21_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g22_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g2_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g3_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g5_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g4_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g12_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g8_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g9_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g7_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g6_test ... ok
Dec 03 06:42:04.015 INFO [stdout] test core::constraints::custom_graph::g18_test ... ok
Dec 03 06:42:04.025 INFO [stdout] test core::base_graph::graph::PROP_edges_equal_to_description ... ok
Dec 03 06:42:04.025 INFO [stderr]    Doc-tests graphene
Dec 03 06:42:04.025 INFO [stdout] test core::base_graph::edges_sourced_or_sinked_in::PROP_all_edges_sourced_in_the_vertice ... ok
Dec 03 06:42:04.025 INFO [stdout] 
Dec 03 06:42:04.025 INFO [stdout] test result: ok. 61 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:42:04.025 INFO [stdout] 
Dec 03 06:42:05.091 INFO [stdout] 
Dec 03 06:42:05.091 INFO [stdout] running 4 tests
Dec 03 06:42:07.134 INFO [stdout] test src/core/constraint/custom_graph.rs - custom_graph (line 5) ... ok
Dec 03 06:42:07.175 INFO [stdout] test src/lib.rs -  (line 11) ... ok
Dec 03 06:42:07.461 INFO [stdout] test src/lib.rs -  (line 29) ... ok
Dec 03 06:42:07.499 INFO [stdout] test src/core/constrained_graph.rs - core::constrained_graph::ConstrainedGraph (line 195) ... ok
Dec 03 06:42:07.499 INFO [stdout] 
Dec 03 06:42:07.499 INFO [stdout] test result: ok. 4 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
Dec 03 06:42:07.499 INFO [stdout] 
Dec 03 06:42:07.507 INFO [stderr] su: No module specific data is present
Dec 03 06:42:08.011 INFO running `"docker" "inspect" "1117c8c7d00b2bbe34f869dbcb65847d92a7d203f4ca5a094892da133f9a2ce6"`
Dec 03 06:42:08.184 INFO running `"docker" "rm" "-f" "1117c8c7d00b2bbe34f869dbcb65847d92a7d203f4ca5a094892da133f9a2ce6"`
Dec 03 06:42:08.391 INFO [stdout] 1117c8c7d00b2bbe34f869dbcb65847d92a7d203f4ca5a094892da133f9a2ce6
